conjunctive goal in deduction

[計] 演繹中的合取目標